Nuprl Definition : lambda def
12,41
postcript
pdf
x
.
A
(
x
) is Primitive
latex
FDL editor aliases
lam
origin
x.A(x) is Primitive x.A(x) is Primitive